Счетное множество

Бесконечные множества, равномощные $\mathbb{N}$, называют **счетными**. Счетное множество $A$ можно представить как последовательность $\{a_i\}_{i=1}^{\infty}$. Здесь $a_i = f(i)$ для некоторой биекции $f\mathpunct{:}~~ \mathbb{N} \to A$.